You are here: irt.org | FOLDOC | Dijkstra's guarded command language
<language> A language invented by Edsger Dijkstra ca. 1974. It introduced the concept of guards and committed choice nondeterminism (don't care nondeterminism). Described and used in ["A Discipline of Programming", E. Dijkstra, P-H 1976].
(1994-12-07)
Nearby terms: Digital Versatile Disc « Digital Versatile Disk Random Access Memory « Digital Video Disc « Dijkstra's guarded command language » dike » DIL » Dilbert
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL